first-order modal logic
[计] 一阶模态逻辑
热门查询
- leipzig n. 莱比锡城
- crossroad n. 十字路口；交叉路；岔道；重大的抉择关头
- recognizably adv. 可被认识地；可辨别地
- firebombing n. 火焰炸弹（燃烧弹和凝固汽油弹的总称） vt. 用燃烧弹进攻
- biography n. 传记；档案；个人简介
- Mahal [人名] 马哈尔
- Elisabeth n. 伊丽莎白（女子名，等于Elizabeth）
- Basquiat [电影]轻狂岁月
- serotonergic adj. 血清素激活的；含血清素的
- homiletics n. 讲道术，说教术
- kidd n. 基德（姓名）
- handbell n. 手铃
- Chola n. 胆汁
- brewery n. 啤酒厂
- peugeot n. 法国标致（法国汽车公司）
- nathan n. 南森（男子名）
- spade n. 铁锹，铲子 vt. 铲；把……弄实抹平 vi. 铲 n. (Spade)人名；(英)斯佩德；(法)斯帕德
- cardy 卡迪（英格兰人姓氏）
- scm abbr. 单片机（Single Chip Micyoco）；供应链关系管理（Supply Chain Management）
- procreative adj. 生产的，生殖的；有生殖力的
考试词汇表
- give sb a svere rating
- give sb a warm welcome
- give sb the (glad) eye
- give sb the cut direct
- give sb the frozen mit
- give sb. to understand
- give security for debt
- give somebody the bird
- give somebody the slip
- give somebody what for
- give someone a licking
- give someone a line on
- give someone charge of
- give someone gray hair
- give someone his gruel
- give someone his leave
- give someone in charge
- give someone some skin
- give someone the blues
- give someone the brush
